Siphons, traps and high-level nets with infinite color domainsSCHMIDT, K.Lecture notes in computer science. 1997, pp 271-289, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Petri net modeling of gate and interconnect delays for power estimationMURUGAVEL, Ashok K; RANGANATHAN, N.Design automation conference. 2002, pp 455-460, isbn 1-58113-461-4, 6 p.Conference Paper

Incremental state space construction for coloured petri netsLEWIS, Glenn; LAKOS, Charles.Lecture notes in computer science. 2001, pp 263-282, issn 0302-9743, isbn 3-540-42252-8Conference Paper

Regular event structures and finite Petri nets: The conflict-free caseNIELSEN, Mogens; THIAGARAJAN, P. S.Lecture notes in computer science. 2002, pp 335-351, issn 0302-9743, isbn 3-540-43787-8, 17 p.Conference Paper

Fault section estimation of power system using colored and timed petri netsCHUN-LING YANG; YOKOYAMA, A; SEKINE, Y et al.Electrical engineering in Japan. 1995, Vol 115, Num 2, pp 89-101, issn 0424-7760Article

CPN/Tools: A Post-WIMP interface for editing and simulating coloured petri netsBEAUDOUIN-LAFON, Michel; MACKAY, Wendy E; RAVN, Katrine et al.Lecture notes in computer science. 2001, pp 71-80, issn 0302-9743, isbn 3-540-42252-8Conference Paper

Qualitative model based verification of operating procedures by high level Petri netsGERZSON, M; CSAKI, Z; HANGOS, K. M et al.Computers & chemical engineering. 1994, Vol 18, pp S565-S569, issn 0098-1354, SUPConference Paper

Contraction of the ITCPN state spaceBOUCHENEB, H; BERTHELOT, G.ETAPS 2002 : European joint conference on theory and practice of software. Satellite workshopWorkshop on the theory and practice of timed systems. 2002, 15 p.Conference Paper

Property specification for coloured Petri netsROUBTSOVA, Ella E.International Conference on Systems, Man and Cybernetics. 2004, isbn 0-7803-8566-7, vol3, 2617-2622Conference Paper

Modélisation des systèmes hybrides flexibles et prise en compte des phénomènes d'accumulation = Modelling of hybrid flexible systems and taking accumulation phenomena into accountCARADEC, M; PRUNET, F.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 86-93Conference Paper

Analysing Bang & Olufsen's BeoLink® audio/video system using Coloured Petri NetsCHRISTENSEN, S; JØRGENSEN, J. B.Lecture notes in computer science. 1997, pp 387-406, issn 0302-9743, isbn 3-540-63139-9Conference Paper

On the abstraction of coloured Petri netsLAKOS, C.Lecture notes in computer science. 1997, pp 42-61, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Dynamic evolution of Z/pZ colored Petri net modelsMARTEAU, S; BOURCERIE, M.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 48-52, isbn 2-9502908-7-6Conference Paper

Modelling of features and feature interactions in Nokia mobile phones using Coloured Petri netsLORENTSEN, Louise; TUOVINEN, Antti-Pekka; JIANLI XU et al.Lecture notes in computer science. 2002, pp 294-313, issn 0302-9743, isbn 3-540-43787-8, 20 p.Conference Paper

Haskell-coloured Petri NetsREINKE, C.Lecture notes in computer science. 2000, pp 165-180, issn 0302-9743, isbn 3-540-67864-6Conference Paper

Colored cause-effect structuresUSTIMENKO, A. P.Information processing letters. 1998, Vol 68, Num 5, pp 219-225, issn 0020-0190Article

Specification composition for the verification of message passing program compositionCOTRONIS, J. Y; TSIATSOULIS, Z.ENCRESS '97. International conferenceIFIP WG5.4 international conference on reliability, quality, and safety of software-intensive systems. 1997, pp 95-106, isbn 0-412-80280-5Conference Paper

Modelling and verification of hybrid systems using hierarchical coloured petri netsGENRICH, H. J; SCHUART, I.International conference on automation of mixed processesConférence internationale sur l'automatisation des processus mixtes. 1998, pp 17-24Conference Paper

Coordinating functional processes using Petri netsASSMANN, C.Lecture notes in computer science. 1997, pp 162-183, issn 0302-9743, isbn 3-540-63237-9Conference Paper

On proving large distributed systems: Petri net modules verificationLOMAZOVA, I. A.Lecture notes in computer science. 1997, pp 70-75, issn 0302-9743, isbn 3-540-63371-5Conference Paper

Sémantique et validation des langages d'acteurs à l'aide des réseaux de Petri colorés = Semantic and validation of actor languages using colored Petri netsSaad Sami, Yamina; Vidal-Naquet, Guy.1993, 179 p.Thesis

Multi-agent-systems Based on coloured Petri netsMOLDT, D; WIENBERG, F.Lecture notes in computer science. 1997, pp 82-101, issn 0302-9743, isbn 3-540-63139-9Conference Paper

Méthodes de spécification et de vérification des protocoles de communication = Specification and verification methods for communication protocolsZouari, Belhasse; Girault, Claude.1992, 277 p.Thesis

Fuzzy time semirings and fuzzy-timing colored Petri netsFUMING WU.International journal of intelligent systems. 1999, Vol 14, Num 8, pp 747-774, issn 0884-8173Article

Agent modelling with Petri NetsPURVIS, M; CRANEFIELD, S.CESA'96 IMACS Multiconference : computational engineering in systems applications. 1996, pp 602-607, isbn 2-9502908-7-6Conference Paper